The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Hengjun Zhao Books

Results for Hengjun Zhao

Showing 1 to 1 of 1 results
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach by Naijun Zhan,Shuling Wang,Hengjun Zhao

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

by Naijun Zhan,Shuling Wang,Hengjun Zhao


ISBN 13: 9783319836386

Format: Paperback (276 pages)
Publisher: Springer
Published: 29 Jun 2018

Save for later

 
New : $116.61  
New : $116.61